package java_cup.runtime;

/**
 * This subclass of symbol represents (at least) terminal symbols returned by
 * the scanner and placed on the parse stack. At present, this class does
 * nothing more than its super class.
 * 
 * @see java_cup.runtime.int_token
 * @see java_cup.runtime.str_token
 * @version last updated: 11/25/95
 * @author Scott Hudson
 */

public class token extends symbol {

	/* Simple constructor -- just delegates to the super class. */
	public token(int term_num) {
		/* super class does all the work */
		super(term_num);
	}
};
